منابع مشابه
The two variable per inequality abstract domain
This article presents the Two Variable Per Inequality abstract domain (TVPI domain for short). This so-called weakly-relational domain is able to express systems of linear inequalities where each inequality has at most two variables. The domain represents a sweet-point in the performance-cost tradeoff between the faster Octagon domain and the more expressive domain of general convex polyhedra. ...
متن کاملTwo Variables per Linear Inequality as an Abstract Domain
Domain Axel Simon Andy King Jacob M. Howe Computing Laboratory, Department of Computing, University of Kent, Canterbury, UK. City University, London, UK. {a.m.king, a.simon}@ukc.ac.uk [email protected] Abstract. This paper explores the spatial domain of sets of inequalities where each inequality contains at most two variables – a domain that is richer than intervals and more tractable than g...
متن کاملEla an Eigenvalue Inequality and Spectrum Localization for Complex Matrices∗
Using the notions of the numerical range, Schur complement and unitary equivalence, an eigenvalue inequality is obtained for a general complex matrix, giving rise to a region in the complex plane that contains its spectrum. This region is determined by a curve, generalizing and improving classical eigenvalue bounds obtained by the Hermitian and skew-Hermitian parts, as well as the numerical ran...
متن کاملAn eigenvalue inequality and spectrum localization for complex matrices
Using the notions of the numerical range, Schur complement and unitary equivalence, an eigenvalue inequality is obtained for a general complex matrix, giving rise to a region in the complex plane that contains its spectrum. This region is determined by a curve, generalizing and improving classical eigenvalue bounds obtained by the Hermitian and skew-Hermitian parts, as well as the numerical ran...
متن کاملAn Investigation of Environmental Inequality in a Metropolitan Area
Introduction: Inequalities in urban environment are a significant concern. Socioeconomic level plays an important role in these inequalities. Inequality in environmental hazards is recognized as potential determinants of health disparities. Materials & Methods: In this study, we used individual and cumulative environmental hazard inequality indices to compare the inequality among 379 neighborh...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Mathematical Inequalities
سال: 2012
ISSN: 1846-579X
DOI: 10.7153/jmi-06-17